$\forall$$i$:$\mathbb{Z}$, $E$:(\{$\ldots\,$$i$\}$\rightarrow\mathbb{P}$\{u\}). $E$($i$) $\Rightarrow$ ($\forall$$k$:\{$\ldots\,$$i$ {-} 1\}. $E$($k$+1) $\Rightarrow$ $E$($k$)) $\Rightarrow$ \{$\forall$$k$:\{$\ldots\,$$i$\}. $E$($k$)\}